demostración de teoremas de conjuntos